$\forall$$X$:($\mathbb{N}\rightarrow\mathbb{Q}$), $y$:($\mathbb{Q}$ List). q{-}linear(0;$j$.$X$($j$);$y$) = $X$(0)